extract:

fetch:
	curl https://raw.githubusercontent.com/BNFC/bnfc/930e53606bcebd985b5fc3fa7ebb807c59c45575/examples/GF/gf.cf > fetched/gf.cf
